Model extraction and test generation from JUnit test suites
نویسندگان
چکیده
منابع مشابه
Java Enterprise Edition Support in Search-Based JUnit Test Generation
Many different techniques and tools for automated unit test generation target the Java programming languages due to its popularity. However, a lot of Java’s popularity is due to its usage to develop enterprise applications with frameworks such as Java Enterprise Edition (JEE) or Spring. These frameworks pose challenges to the automatic generation of JUnit tests. In particular, code units (“bean...
متن کاملAutomated generation of high-integrity test suites from graphical specifications
There is a strong need to ensure that the software controlling safety–critical systems is of the highest possible integrity. Present approaches to achieving this integrity through Verification and Validation (V&V) are expensive and predominantly reliant on manual processes. Techniques that have been proposed to improve the V&V of safety–critical systems – formal methods, graphical specification...
متن کاملAn Informal Formal Method for Systematic JUnit Test Case Generation
The JUnit testing tool is widely used to support the central XP concept of test first software development. While JUnit provides Java classes for expressing test cases and test suites, it does not provide or proscribe per se any guidelines for deciding what test cases are good ones for any particular class. We have developed a method for systematically creating complete and consistent test cl...
متن کاملFrom Object-z Speciications to Classbench Test Suites from Object-z Speciications to Classbench Test Suites
This paper describes a method for speciication-based class testing that incorporates test case generation, execution, and evaluation based on formal speciications. This work builds on previous achievements in the areas of speciication-based testing and class testing by integrating the two within a single framework. The initial step of the method is to generate test cases for individual operatio...
متن کاملModel-Based Filtering of Combinatorial Test Suites
Tobias is a combinatorial test generation tool which can efficiently generate a large number of test cases by unfolding a test pattern and computing all combinations of parameters. In this paper, we first propose a model-based testing approach where Tobias test cases are first run on an executable UML/OCL specification. This animation of test cases on a model allows to filter out invalid test s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Quality Journal
سال: 2018
ISSN: 0963-9314,1573-1367
DOI: 10.1007/s11219-017-9399-x